#include "../common/default_binary_io.cpp"